首页> 外文OA文献 >Formal verification of ACAS X, an industrial airborne collision avoidance system

【2h】

Formal verification of ACAS X, an industrial airborne collision avoidance system

机译：正式验证ACAS X，一种工业机载防撞系统

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

International audience

机译：国际观众

著录项

作者
Jeannin, Jean-Baptiste; Ghorbal, Khalil; Kouskoulas, Yanni; Gardner, Ryan; Schmidt, Aurora; Zawadzki, Erik; Platzer, André;
展开▼
作者单位

展开▼
年度 2015
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system [J] . Jeannin Jean Baptiste, Ghorbal Khalil, Kouskoulas Yanni, International Journal on Software Tools for Technology Transfer . 2017,第6期

机译：经过正式验证的混合动力系统，可在下一代机载防撞系统中提供安全建议
2. TCAS/ACAS(The Traffic Collision Avoidance System)/(Airborne Collision Avoidance System) [J] . Greg Giaquinto, Richard Sterk Electronic Systems Forecast . 2007,第1期

机译：TCAS / ACAS（交通防撞系统）/（机载防撞系统）
3. TCAS/ACAS(The Traffic Collision Avoidance System/Airborne Collision Avoidance System) [J] . Greg Giaquinto, Richard Sterk Electronic Systems Forecast . 2006,第1期

机译：TCAS / ACAS（交通防撞系统/机载防撞系统）
4. Formal verification of ACAS X, an industrial airborne collision avoidance system [C] . Jeannin Jean-Baptiste, Ghorbal Khalil, Kouskoulas Yanni, International conference on embedded software . 2015

机译：正式验证ACAS X，一种工业机载防撞系统
5. Airborne Collision Detection and Avoidance for Small UAS Sense and Avoid Systems. [D] . Sahawneh, Laith Rasmi. 2016

机译：适用于小型UAS感知和回避系统的机载碰撞检测和回避。
6. Industrial methodology for process verification in research (IMPROVER): toward systems biology verification [O] . Pablo Meyer, Julia Hoeng, J. Jeremy Rice, -1

机译：研究过程验证的工业方法论（IMPROVER）：系统生物学验证
7. Formal verification of ACAS X, an industrial airborne collision avoidance system [O] . Jeannin, Jean-Baptiste, Ghorbal, Khalil, Kouskoulas, Yanni, 2015

机译：正式验证ACAS X，一种工业机载防撞系统
8. Analysis,Flight Test and Evaluation of Honeywell,McDonnell-Douglas and RCA Airborne Collision Avoidance Systems (ACAS). [R] . 1976

机译：霍尼韦尔，麦克唐纳 - 道格拉斯和RCa机载防撞系统（aCas）的分析，飞行测试和评估。

Formal verification of ACAS X, an industrial airborne collision avoidance system

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅